Reference counting with frame limited reuse

نویسندگان

چکیده

The recently introduced _Perceus_ algorithm can automatically insert reference count instructions such that the resulting (cycle-free) program is _garbage free_: objects are freed at very moment they no longer be referenced. An important extension reuse analysis. This optimization pairs of known size with fresh allocations same and tries to object in-place runtime if it happens unique. Unfortunately, current implementations analysis fragile respect small transformations, or cause an arbitrary increase in peak heap usage. We present a novel _drop-guided_ simpler more robust than previous approaches. Moreover, we generalize linear resource calculus precisely characterize garbage-free frame-limited evaluations. On each function call, evaluation may hold on memory bounded by constant factor. Using this framework show our drop-guided _is_ find implementation new approach Koka provide significant speedups.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Data reuse algorithm for multiple reference frame motion estimation

A data reuse algorithm for multiple reference frame motion estimation is described. The proposed algorithm reduces memory access by modifying the reference frame search order and search centre such that the likelihood of data reuse is increased. Experimental results show that the algorithm reduces memory access by 15–30% compared to the conventional fast reference frame selection algorithm, whi...

متن کامل

Cyclic Reference Counting with Permanent Objects

Reference Counting is the memory management technique of most widespread use today. Very often applications handle objects that are either permanent or get tenured. This paper uses this information to make cyclic reference counting more efficient.

متن کامل

Heap Garbage Collection with Reference Counting

In algorithms based on reference counting, a garbage-collection decision has to be made whenever a pointer x→ y is about to be destroyed. At this time, the node y may become dead even if y’s reference count is not zero. This is because y may belong to a piece of cyclic garbage. Some aggressive collection algorithms will put y on the list of potential garbage regardless of y’s reference count. L...

متن کامل

Motion Vector Prediction With Reference Frame Consideration

In this paper, we introduce a new motion vector prediction method that could be used within multiple picture reference codecs, such as the H.264 (MPEG-4 AVC) video coding standard. Our method considers for each candidate motion vector the temporal distance of its corresponding reference picture compared to the current one for the generation of the predictor motion vector. This allows for more a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the ACM on programming languages

سال: 2022

ISSN: ['2475-1421']

DOI: https://doi.org/10.1145/3547634